Alloy Analyzer

#	Item
11	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-09-21 22:36:42 Object Constraint Language ECO Eclipse Package Model-driven engineering KeY Domain-specific language Alloy Analyzer Metamodeling Software Unified Modeling Language Computing
12	Computer Science Technical Report Analyzing Behavioral Refactoring of Class Models Wuliang Sun Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2013-06-03 14:05:30 Software Object Constraint Language Code refactoring Alloy Analyzer ECO Alloy Economic model Formal methods Unified Modeling Language Software development
13	PDF Document Add to Reading List Source URL: alloy.mit.edu Language: English - Date: 2006-10-31 23:44:40 Massachusetts Institute of Technology Computing Daniel Jackson Alloy Formal methods Software Alloy Analyzer